Roderick Chapman: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (18)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Combining static worst-case timing analysis and program proof

Roderick Chapman, Alan Burns, Andy Wellings

Журнал:

Real-Time Systems

Рік:

1996

Мова:

english

Файл:

PDF, 1.44 MB

english, 1996

2

Linkage of isozyme loci in the mouse: Phosphoglucomutase-2 (Pgm-2), mitochondrial NADP malate dehydrogenase (Mod-2), and dipeptidase-1 (Dip-1)

V. M. Chapman, F. H. Ruddle, T. H. Roderick

Журнал:

Biochemical Genetics

Рік:

1971

Мова:

english

Файл:

PDF, 489 KB

english, 1971

3

Biochemical polymorphisms in feral and inbred mice (Mus musculus)

Thomas H. Roderick, Frank H. Ruddle, Verne M. Chapman, Thomas B. Shows

Журнал:

Biochemical Genetics

Рік:

1971

Мова:

english

Файл:

PDF, 519 KB

english, 1971

4

An Integrated Approach to High Integrity Software Verification

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

Журнал:

Journal of Automated Reasoning

Рік:

2006

Мова:

english

Файл:

PDF, 1.17 MB

english, 2006

5

Overexpression of 5-HT2C receptors in forebrain leads to elevated anxiety and hypoactivity

Atsuko Kimura, Paula L. Stevenson, Roderick N. Carter, Gavin MacColl, Karen L. French, J. Paul Simons, Raya Al-Shawi, Valerie Kelly, Karen E. Chapman, Megan C. Holmes

Журнал:

European Journal of Neuroscience

Рік:

2009

Мова:

english

Файл:

PDF, 230 KB

english, 2009

6

Vitallium radial head prosthesis for acute and chronic elbow fractures and fracture-dislocations involving the radial head

Cary B. Chapman, Brian W. Su, Stefano M. Sinicropi, Roderick Bruno, Robert J. Strauch, Melvin P. Rosenwasser

Журнал:

Journal of Shoulder and Elbow Surgery

Рік:

2006

Мова:

english

Файл:

PDF, 363 KB

english, 2006

7

A selective orexin-1 receptor antagonist reduces food consumption in male and female rats

Andrea C. Haynes, Brian Jackson, Helen Chapman, Mohammed Tadayyon, Amanda Johns, Roderick A. Porter, Jonathan R.S. Arch

Журнал:

Regulatory Peptides

Рік:

2000

Мова:

english

Файл:

PDF, 263 KB

english, 2000

8

Synthesis and Ligand Substitution Reactions of a Mesitylphosphido-Bridged Platinum(II) Dimer

Kourkine, Igor V., Chapman, Michael B., Glueck, David S., Eichele, Klaus, Wasylishen, Roderick E., Yap, Glenn P. A., Liable-Sands, Louise M., Rheingold, Arnold L.

Журнал:

Inorganic Chemistry

Рік:

1996

Мова:

english

Файл:

PDF, 490 KB

english, 1996

9

SPARK 2014 and GNATprove

Hoang, Duc, Moy, Yannick, Wallenburg, Angela, Chapman, Roderick

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2014

Мова:

english

Файл:

PDF, 659 KB

english, 2014

10

An Electrophysiological Approach to the Study of Chemical Sensory Reception in Certain Insects

Chapman, John A., Craig, Roderick

Журнал:

The Canadian Entomologist

Рік:

1953

Мова:

english

Файл:

PDF, 786 KB

english, 1953

11

[ACM Press the 2004 annual ACM SIGAda international conference - Atlanta, Georgia, USA (2004.11.14-2004.11.18)] Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 - Enforcing security and safety models with an information flow analysis tool

Chapman, Roderick, Hilton, Adrian

Рік:

2004

Мова:

english

Файл:

PDF, 141 KB

english, 2004

12

Tales from the Chew Family Papers: The Charity Castle Story

B. Chew, Chas Carroll Jr., Roderick Burgess, Ch. Carroll of Carrollton, N. Chapman, W. Lewis, W. Rawle, Harriet Carroll and Phillip R. Seitz

Журнал:

The Pennsylvania Magazine of History and Biography

Рік:

2008

Мова:

english

Файл:

PDF, 1.44 MB

english, 2008

13

The Anterior T-Frame External Fixator for High-Energy Proximal Tibial Fractures

Bal, George K., Kuo, Roderick S., Chapman, Jens R., Henley, M. Bradford, Benirschke, Stephen K., Claudi, Berndt F.

Журнал:

Clinical Orthopaedics and Related Research®

Рік:

2000

Мова:

english

Файл:

PDF, 188 KB

english, 2000

14

Industrial strength exception freedom

Amey, Peter, Chapman, Roderick

Журнал:

ACM SIGAda Ada Letters

Рік:

2003

Мова:

english

Файл:

PDF, 262 KB

english, 2003

15

Enforcing security and safety models with an information flow analysis tool

Chapman, Roderick, Hilton, Adrian

Журнал:

ACM SIGAda Ada Letters

Рік:

2004

Мова:

english

Файл:

PDF, 141 KB

english, 2004

16

Static verification and extreme programming

Amey, Peter, Chapman, Roderick

Журнал:

ACM SIGAda Ada Letters

Рік:

2004

Мова:

english

Файл:

PDF, 174 KB

english, 2004

17

Panellist position statement: some industrial experience with program verification

Chapman, Roderick

Журнал:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Рік:

2005

Мова:

english

Файл:

PDF, 53 KB

english, 2005

18

Formal verification: will the seedling ever flower?

White, Neil, Matthews, Stuart, Chapman, Roderick

Журнал:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Рік:

2017

Мова:

english

Файл:

PDF, 555 KB

english, 2017